﻿<!DOCTYPE html>

<html>
<head>

    <title></title>
   
    <script src="pdfobject.min.js"></script>


    <script type="text/javascript">
        window.onload = function () {
            var options = {
                pdfOpenParams: {
                    pagemode: "thumbs",
                    navpanes: 0,
                    toolbar: 0,
                    statusbar: 0,
                    view: "FitV"
                }
            };
           PDFObject.embed("compressed.tracemonkey-pldi-09.pdf", "#pdf", options);
          
        };
        //window.open("compressed.tracemonkey-pldi-09.pdf");
    </script>
</head>
<body >
<div id="pdf" style="width:700px; height:600px;"></div>

</body>
</html>